https://blog.adrianistan.eu/scryer-prolog-meetup-2023-notes-day2